Hoare logic
霍尔逻辑
热门查询
- skier n. 滑雪的人
- autocue n. 自动提词机
- readiness n. 敏捷，迅速；准备就绪；愿意
- companionate adj. 伙伴的，同伴的；友爱的，友好的
- sanitary n. 公共厕所 adj. 卫生的，清洁的
- numeral n. 数字 adj. 数字的；表示数字的
- doubloon n. 达布隆（古西班牙金币）
- Halpin [人名] [爱尔兰姓氏] 哈尔平取自父名，来源于Alpin,含义是“阿尔平之子”(son of Alpin)
- motherless adj. 无母的
- ocotillo n. 墨西哥刺木；蔓仙人掌；马鞭
- ptfe abbr. 聚四氟乙烯（Polytetrafluoroethylene）
- soba n. 荞麦面 n. (Soba)人名；(日)岨(姓)；(西、几、肯)索巴
- Rigoletto 利哥莱托舞
- catchment n. 流域；集水
- confection n. 糖果，蜜饯；调制；糖膏（剂）；精制工艺品
- dewlap n. 垂肉；胖人喉部鼓出的肥肉；垂皮
- echinoderm n. [无脊椎] 棘皮动物
- glomerulonephritis n. 血管球性肾炎；[泌尿] 肾小球性肾炎
- microcomputer n. 微电脑；[计] 微型计算机
- ungodly adj. 邪恶的；不敬畏神的；荒唐的
